1 This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=pdflatex 2008.2.17) 22 AUG 2008 18:23
3 %&-line parsing enabled.
7 Babel <v3.8h> and hyphenation patterns for english, usenglishmax, dumylang, noh
8 yphenation, spanish, catalan, galician, spanish, catalan, galician, loaded.
9 (/usr/share/texmf-texlive/tex/latex/base/article.cls
10 Document Class: article 2005/09/16 v1.4f Standard LaTeX document class
11 (/usr/share/texmf-texlive/tex/latex/base/size10.clo
12 File: size10.clo 2005/09/16 v1.4f Standard LaTeX file (size option)
16 \c@subsection=\count81
17 \c@subsubsection=\count82
19 \c@subparagraph=\count84
22 \abovecaptionskip=\skip41
23 \belowcaptionskip=\skip42
26 (/usr/share/texmf-texlive/tex/latex/base/inputenc.sty
27 Package: inputenc 2006/05/05 v1.1b Input encoding file
28 \inpenc@prehook=\toks14
29 \inpenc@posthook=\toks15
31 (/usr/share/texmf-texlive/tex/latex/base/utf8.def
32 File: utf8.def 2006/03/30 v1.1i UTF-8 support for inputenc
33 Now handling font encoding OML ...
34 ... no UTF-8 mapping file for font encoding OML
35 Now handling font encoding T1 ...
36 ... processing UTF-8 mapping file for font encodingT1
38 (/usr/share/texmf-texlive/tex/latex/base/t1enc.dfu
39 File: t1enc.dfu 2006/03/30 v1.1i UTF-8 support for inputenc
40 defining Unicode char U+00A1 (decimal 161)
41 defining Unicode char U+00A3 (decimal 163)
42 defining Unicode char U+00AB (decimal 171)
43 defining Unicode char U+00BB (decimal 187)
44 defining Unicode char U+00BF (decimal 191)
45 defining Unicode char U+00C0 (decimal 192)
46 defining Unicode char U+00C1 (decimal 193)
47 defining Unicode char U+00C2 (decimal 194)
48 defining Unicode char U+00C3 (decimal 195)
49 defining Unicode char U+00C4 (decimal 196)
50 defining Unicode char U+00C5 (decimal 197)
51 defining Unicode char U+00C6 (decimal 198)
52 defining Unicode char U+00C7 (decimal 199)
53 defining Unicode char U+00C8 (decimal 200)
54 defining Unicode char U+00C9 (decimal 201)
55 defining Unicode char U+00CA (decimal 202)
56 defining Unicode char U+00CB (decimal 203)
57 defining Unicode char U+00CC (decimal 204)
58 defining Unicode char U+00CD (decimal 205)
59 defining Unicode char U+00CE (decimal 206)
60 defining Unicode char U+00CF (decimal 207)
61 defining Unicode char U+00D0 (decimal 208)
62 defining Unicode char U+00D1 (decimal 209)
63 defining Unicode char U+00D2 (decimal 210)
64 defining Unicode char U+00D3 (decimal 211)
65 defining Unicode char U+00D4 (decimal 212)
66 defining Unicode char U+00D5 (decimal 213)
67 defining Unicode char U+00D6 (decimal 214)
68 defining Unicode char U+00D8 (decimal 216)
69 defining Unicode char U+00D9 (decimal 217)
70 defining Unicode char U+00DA (decimal 218)
71 defining Unicode char U+00DB (decimal 219)
72 defining Unicode char U+00DC (decimal 220)
73 defining Unicode char U+00DD (decimal 221)
74 defining Unicode char U+00DE (decimal 222)
75 defining Unicode char U+00DF (decimal 223)
76 defining Unicode char U+00E0 (decimal 224)
77 defining Unicode char U+00E1 (decimal 225)
78 defining Unicode char U+00E2 (decimal 226)
79 defining Unicode char U+00E3 (decimal 227)
80 defining Unicode char U+00E4 (decimal 228)
81 defining Unicode char U+00E5 (decimal 229)
82 defining Unicode char U+00E6 (decimal 230)
83 defining Unicode char U+00E7 (decimal 231)
84 defining Unicode char U+00E8 (decimal 232)
85 defining Unicode char U+00E9 (decimal 233)
86 defining Unicode char U+00EA (decimal 234)
87 defining Unicode char U+00EB (decimal 235)
88 defining Unicode char U+00EC (decimal 236)
89 defining Unicode char U+00ED (decimal 237)
90 defining Unicode char U+00EE (decimal 238)
91 defining Unicode char U+00EF (decimal 239)
92 defining Unicode char U+00F0 (decimal 240)
93 defining Unicode char U+00F1 (decimal 241)
94 defining Unicode char U+00F2 (decimal 242)
95 defining Unicode char U+00F3 (decimal 243)
96 defining Unicode char U+00F4 (decimal 244)
97 defining Unicode char U+00F5 (decimal 245)
98 defining Unicode char U+00F6 (decimal 246)
99 defining Unicode char U+00F8 (decimal 248)
100 defining Unicode char U+00F9 (decimal 249)
101 defining Unicode char U+00FA (decimal 250)
102 defining Unicode char U+00FB (decimal 251)
103 defining Unicode char U+00FC (decimal 252)
104 defining Unicode char U+00FD (decimal 253)
105 defining Unicode char U+00FE (decimal 254)
106 defining Unicode char U+00FF (decimal 255)
107 defining Unicode char U+0102 (decimal 258)
108 defining Unicode char U+0103 (decimal 259)
109 defining Unicode char U+0104 (decimal 260)
110 defining Unicode char U+0105 (decimal 261)
111 defining Unicode char U+0106 (decimal 262)
112 defining Unicode char U+0107 (decimal 263)
113 defining Unicode char U+010C (decimal 268)
114 defining Unicode char U+010D (decimal 269)
115 defining Unicode char U+010E (decimal 270)
116 defining Unicode char U+010F (decimal 271)
117 defining Unicode char U+0110 (decimal 272)
118 defining Unicode char U+0111 (decimal 273)
119 defining Unicode char U+0118 (decimal 280)
120 defining Unicode char U+0119 (decimal 281)
121 defining Unicode char U+011A (decimal 282)
122 defining Unicode char U+011B (decimal 283)
123 defining Unicode char U+011E (decimal 286)
124 defining Unicode char U+011F (decimal 287)
125 defining Unicode char U+0130 (decimal 304)
126 defining Unicode char U+0131 (decimal 305)
127 defining Unicode char U+0132 (decimal 306)
128 defining Unicode char U+0133 (decimal 307)
129 defining Unicode char U+0139 (decimal 313)
130 defining Unicode char U+013A (decimal 314)
131 defining Unicode char U+013D (decimal 317)
132 defining Unicode char U+013E (decimal 318)
133 defining Unicode char U+0141 (decimal 321)
134 defining Unicode char U+0142 (decimal 322)
135 defining Unicode char U+0143 (decimal 323)
136 defining Unicode char U+0144 (decimal 324)
137 defining Unicode char U+0147 (decimal 327)
138 defining Unicode char U+0148 (decimal 328)
139 defining Unicode char U+014A (decimal 330)
140 defining Unicode char U+014B (decimal 331)
141 defining Unicode char U+0150 (decimal 336)
142 defining Unicode char U+0151 (decimal 337)
143 defining Unicode char U+0152 (decimal 338)
144 defining Unicode char U+0153 (decimal 339)
145 defining Unicode char U+0154 (decimal 340)
146 defining Unicode char U+0155 (decimal 341)
147 defining Unicode char U+0158 (decimal 344)
148 defining Unicode char U+0159 (decimal 345)
149 defining Unicode char U+015A (decimal 346)
150 defining Unicode char U+015B (decimal 347)
151 defining Unicode char U+015E (decimal 350)
152 defining Unicode char U+015F (decimal 351)
153 defining Unicode char U+0160 (decimal 352)
154 defining Unicode char U+0161 (decimal 353)
155 defining Unicode char U+0162 (decimal 354)
156 defining Unicode char U+0163 (decimal 355)
157 defining Unicode char U+0164 (decimal 356)
158 defining Unicode char U+0165 (decimal 357)
159 defining Unicode char U+016E (decimal 366)
160 defining Unicode char U+016F (decimal 367)
161 defining Unicode char U+0170 (decimal 368)
162 defining Unicode char U+0171 (decimal 369)
163 defining Unicode char U+0178 (decimal 376)
164 defining Unicode char U+0179 (decimal 377)
165 defining Unicode char U+017A (decimal 378)
166 defining Unicode char U+017B (decimal 379)
167 defining Unicode char U+017C (decimal 380)
168 defining Unicode char U+017D (decimal 381)
169 defining Unicode char U+017E (decimal 382)
170 defining Unicode char U+200C (decimal 8204)
171 defining Unicode char U+2013 (decimal 8211)
172 defining Unicode char U+2014 (decimal 8212)
173 defining Unicode char U+2018 (decimal 8216)
174 defining Unicode char U+2019 (decimal 8217)
175 defining Unicode char U+201A (decimal 8218)
176 defining Unicode char U+201C (decimal 8220)
177 defining Unicode char U+201D (decimal 8221)
178 defining Unicode char U+201E (decimal 8222)
179 defining Unicode char U+2030 (decimal 8240)
180 defining Unicode char U+2031 (decimal 8241)
181 defining Unicode char U+2039 (decimal 8249)
182 defining Unicode char U+203A (decimal 8250)
183 defining Unicode char U+2423 (decimal 9251)
185 Now handling font encoding OT1 ...
186 ... processing UTF-8 mapping file for font encodingOT1
188 (/usr/share/texmf-texlive/tex/latex/base/ot1enc.dfu
189 File: ot1enc.dfu 2006/03/30 v1.1i UTF-8 support for inputenc
190 defining Unicode char U+00A1 (decimal 161)
191 defining Unicode char U+00A3 (decimal 163)
192 defining Unicode char U+00B8 (decimal 184)
193 defining Unicode char U+00BF (decimal 191)
194 defining Unicode char U+00C5 (decimal 197)
195 defining Unicode char U+00C6 (decimal 198)
196 defining Unicode char U+00D8 (decimal 216)
197 defining Unicode char U+00DF (decimal 223)
198 defining Unicode char U+00E6 (decimal 230)
199 defining Unicode char U+00EC (decimal 236)
200 defining Unicode char U+00ED (decimal 237)
201 defining Unicode char U+00EE (decimal 238)
202 defining Unicode char U+00EF (decimal 239)
203 defining Unicode char U+00F8 (decimal 248)
204 defining Unicode char U+0131 (decimal 305)
205 defining Unicode char U+0141 (decimal 321)
206 defining Unicode char U+0142 (decimal 322)
207 defining Unicode char U+0152 (decimal 338)
208 defining Unicode char U+0153 (decimal 339)
209 defining Unicode char U+2013 (decimal 8211)
210 defining Unicode char U+2014 (decimal 8212)
211 defining Unicode char U+2018 (decimal 8216)
212 defining Unicode char U+2019 (decimal 8217)
213 defining Unicode char U+201C (decimal 8220)
214 defining Unicode char U+201D (decimal 8221)
216 Now handling font encoding OMS ...
217 ... processing UTF-8 mapping file for font encodingOMS
219 (/usr/share/texmf-texlive/tex/latex/base/omsenc.dfu
220 File: omsenc.dfu 2006/03/30 v1.1i UTF-8 support for inputenc
221 defining Unicode char U+00A7 (decimal 167)
222 defining Unicode char U+00B6 (decimal 182)
223 defining Unicode char U+00B7 (decimal 183)
224 defining Unicode char U+2020 (decimal 8224)
225 defining Unicode char U+2021 (decimal 8225)
226 defining Unicode char U+2022 (decimal 8226)
228 Now handling font encoding OMX ...
229 ... no UTF-8 mapping file for font encoding OMX
230 Now handling font encoding U ...
231 ... no UTF-8 mapping file for font encoding U
232 defining Unicode char U+00A9 (decimal 169)
233 defining Unicode char U+00AA (decimal 170)
234 defining Unicode char U+00AE (decimal 174)
235 defining Unicode char U+00BA (decimal 186)
236 defining Unicode char U+02C6 (decimal 710)
237 defining Unicode char U+02DC (decimal 732)
238 defining Unicode char U+200C (decimal 8204)
239 defining Unicode char U+2026 (decimal 8230)
240 defining Unicode char U+2122 (decimal 8482)
241 defining Unicode char U+2423 (decimal 9251)
243 (/usr/share/texmf-texlive/tex/generic/babel/babel.sty
244 Package: babel 2005/11/23 v3.8h The Babel package
246 (/usr/share/texmf-texlive/tex/generic/babel/spanish.ldf
247 Language: spanish.ldf 2005/03/31 v4.2b Spanish support from the babel system
249 (/usr/share/texmf-texlive/tex/generic/babel/babel.def
250 File: babel.def 2005/11/23 v3.8h Babel common definitions
251 \babel@savecnt=\count87
255 \es@quotdepth=\count88
256 Package babel Info: Making . an active character on input line 509.
257 Package babel Info: Making " an active character on input line 540.
258 Package babel Info: Making < an active character on input line 641.
259 Package babel Info: Making > an active character on input line 642.
261 (/usr/share/texmf-texlive/tex/latex/listings/listings.sty
262 (/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty
263 Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
267 \lst@gtempboxa=\box26
270 \lst@currlwidth=\dimen104
273 \lst@lostspace=\dimen105
275 \lst@newlines=\count93
277 \c@lstlisting=\count95
278 \lst@maxwidth=\dimen107
280 (/usr/share/texmf-texlive/tex/latex/listings/lstpatch.sty
281 File: lstpatch.sty 2004/10/17 1.3b (Carsten Heinz)
283 (/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty
284 File: lstmisc.sty 2004/09/07 1.3 (Carsten Heinz)
285 \c@lstnumber=\count96
286 \lst@skipnumbers=\count97
289 (/usr/share/texmf-texlive/tex/latex/listings/listings.cfg
290 File: listings.cfg 2004/09/05 1.3 listings configuration
292 Package: listings 2004/10/17 1.3b (Carsten Heinz)
294 (/usr/share/texmf-texlive/tex/latex/graphics/color.sty
295 Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC)
297 (/etc/texmf/tex/latex/config/color.cfg
298 File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
300 Package color Info: Driver file: pdftex.def on input line 130.
302 (/usr/share/texmf-texlive/tex/latex/pdftex-def/pdftex.def
303 File: pdftex.def 2007/01/08 v0.04d Graphics/color for pdfTeX
304 \Gread@gobject=\count98
306 \openout1 = `manual.aux'.
308 LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 10.
309 LaTeX Font Info: ... okay on input line 10.
310 LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 10.
311 LaTeX Font Info: ... okay on input line 10.
312 LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 10.
313 LaTeX Font Info: ... okay on input line 10.
314 LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 10.
315 LaTeX Font Info: ... okay on input line 10.
316 LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 10.
317 LaTeX Font Info: ... okay on input line 10.
318 LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 10.
319 LaTeX Font Info: ... okay on input line 10.
320 LaTeX Font Info: External font `cmex10' loaded for size
321 (Font) <12> on input line 16.
322 LaTeX Font Info: External font `cmex10' loaded for size
323 (Font) <8> on input line 16.
324 LaTeX Font Info: External font `cmex10' loaded for size
325 (Font) <6> on input line 16.
328 LaTeX Font Info: External font `cmex10' loaded for size
329 (Font) <7> on input line 3.
330 LaTeX Font Info: External font `cmex10' loaded for size
331 (Font) <5> on input line 3.
334 \openout3 = `manual.toc'.
338 \openout4 = `manual.lol'.
341 (/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty
342 File: lstlang1.sty 2004/09/05 1.3 listings language file
344 (/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty
345 File: lstlang1.sty 2004/09/05 1.3 listings language file
347 (/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty
348 File: lstmisc.sty 2004/09/07 1.3 (Carsten Heinz)
350 (./src/number_theory/bigmod.cpp
351 LaTeX Font Info: Try loading font information for OML+cmr on input line 2.
353 (/usr/share/texmf-texlive/tex/latex/base/omlcmr.fd
354 File: omlcmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
356 LaTeX Font Info: Font shape `OML/cmr/m/it' in size <10> not available
357 (Font) Font shape `OML/cmm/m/it' tried instead on input line 2.
358 LaTeX Font Info: Try loading font information for OMS+cmr on input line 4.
360 (/usr/share/texmf-texlive/tex/latex/base/omscmr.fd
361 File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
363 LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <10> not available
364 (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 4.
365 LaTeX Font Info: Font shape `OML/cmr/m/n' in size <10> not available
366 (Font) Font shape `OML/cmm/m/it' tried instead on input line 13.
369 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]) (./src/number_theory/crib
371 (./src/number_theory/divisores.cpp [2]) (./src/dp/lcs.cpp) [3] (./manual.aux) )
373 Here is how much of TeX's memory you used:
374 3097 strings out of 95001
375 38288 string characters out of 1181560
376 99800 words of memory out of 1500000
377 6261 multiletter control sequences out of 10000+50000
378 8241 words of font info for 29 fonts, out of 1200000 for 2000
379 80 hyphenation exceptions out of 8191
380 32i,7n,58p,188b,1694s stack positions out of 5000i,500n,6000p,200000b,5000s
381 </usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmbx10.pfb></usr/share/texmf-t
382 exlive/fonts/type1/bluesky/cm/cmbx12.pfb></usr/share/texmf-texlive/fonts/type1/
383 bluesky/cm/cmmi10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmr10.pf
384 b></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmr12.pfb></usr/share/texmf-
385 texlive/fonts/type1/bluesky/cm/cmr17.pfb></usr/share/texmf-texlive/fonts/type1/
386 bluesky/cm/cmr5.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmr7.pfb><
387 /usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmsy10.pfb></usr/share/texmf-te
388 xlive/fonts/type1/bluesky/cm/cmti10.pfb>
389 Output written on manual.pdf (3 pages, 70100 bytes).
391 52 PDF objects out of 1000 (max. 8388607)
392 0 named destinations out of 1000 (max. 131072)
393 1 words of extra memory for PDF output out of 10000 (max. 10000000)